An Implementation of Extended P-Log Using XASP
نویسندگان
چکیده
We propose a new approach for implementing P-log using XASP, the interface of XSB with Smodels. By using the tabling mechanism of XSB, our system is most of the times faster than P-log. In addition, our implementation has query features not supported by P-log, as well as new set operations for domain definition.
منابع مشابه
Tabling for P-log Probabilistic Query Evaluation
We propose a new approach for implementing P-log using XASP, the interface of XSB with Smodels. By using the tabling mechanism of XSB, our system is most of the times faster than P-log. In addition, our implementation has query features not supported by P-log, as well as new set operations for domain definition.
متن کاملVisual Tracking using Kernel Projected Measurement and Log-Polar Transformation
Visual Servoing is generally contained of control and feature tracking. Study of previous methods shows that no attempt has been made to optimize these two parts together. In kernel based visual servoing method, the main objective is to combine and optimize these two parts together and to make an entire control loop. This main target is accomplished by using Lyapanov theory. A Lyapanov candidat...
متن کاملIMPLEMENTATION OF EXTENDED KALMAN FILTER TO REDUCE NON CYCLO-STATIONARY NOISE IN AERIAL GAMMA RAY SURVEY
Gamma-ray detection has an important role in the enhancement the nuclear safety and provides a proper environment for applications of nuclear radiation. To reduce the risk of exposure, aerial gamma survey is commonly used as an advantage of the distance between the detection system and the radiation sources. One of the most important issues in aerial gamma survey is the detection noise. Various...
متن کاملInvestigation of Tunability of Solid State InP/InxGa1-xAsP Laser for Medical Applications: Effects of Band Gap Variation and Cavity Size
This article has no abstract.
متن کاملLine of Sight (LOS) rate estimation in strap down seekers using discrete-time extended state observer.
The line of sight (LOS) rate is a parameter that is needed to calculate the acceleration applied to missiles by the proportional guidance laws in order to hit the target. This rate is usually measured using gimbaled seekers. However, if the type of missile seeker be strap down, the LOS rate must be calculated from deriving the missile's seeker output angles or estimation methodes. The derivatio...
متن کامل